SRC = miniz.cpp \
      # Empty last line

INCLUDES= -I ../$(CPROVER_DIR)/src

include ../config.inc
include ../$(CPROVER_DIR)/src/config.inc
include ../$(CPROVER_DIR)/src/common

CLEANFILES = miniz$(OBJEXT)

all: miniz$(OBJEXT)

###############################################################################
